Programming language specification - PDFSEARCH.IO - Document Search Engine

Programming language specification
Results: 252

#	Item
211	Role-Based Access Control (RBAC) in Java via Proxy Objects using Annotations Jeff Zarnett [removed] Mahesh Tripunitara Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43 Java enterprise platform Java specification requests Object-oriented programming Java remote method invocation Enterprise JavaBeans Java Annotation Class Application programming interface Computing Computing platforms Java programming language
212	An Experiment in Literate Programming Using sgml and dsssl Revision[removed]Mark B. Wroth December 31, 1999 Add to Reading List Source URL: www.west-point.org Language: English - Date: 2001-11-23 12:08:11 ISO standards Typesetting Literate programming Standard Generalized Markup Language Document Style Semantics and Specification Language DocBook WEB HTML Troff Computing Markup languages Technical communication
213	DocBook-Based Literate Programming 1.3 Mark Wroth April 7, 2001 Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2001-04-10 16:55:27 DocBook Standard Generalized Markup Language Literate programming Document Style Semantics and Specification Language HTML XML WEB LaTeX Typesetting Computing Markup languages Technical communication
214	The Scala Language Specification Version 2.9 June 11, 2014 Add to Reading List Source URL: scala.epfl.ch Language: English - Date: 2014-06-10 20:01:00 Type theory Data types Functional programming Java platform Functional languages Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
215	The Java Memory Model Jeremy Manson, William Pugh Univ. of Maryland, College Park Java Memory Model and Thread Specification Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-10-24 05:47:30 Computer memory Compiler construction Programming language implementation Programming language design Memory model Volatile variable Java Memory Model Linearizability Lock Computing Concurrency control Software engineering
216	The OpenJML User Guide DRAFT IN PROGRESS David R. Cok GrammaTech, Inc. December 18, 2013 Add to Reading List Source URL: jmlspecs.sourceforge.net Language: English - Date: 2013-12-18 09:25:51 Java programming language Cross-platform software Java Modeling Language Java OpenJDK JAR Classpath ANSI/ISO C Specification Language Computing Java platform Software
217	Functional Programming and Specification Lecture Note 2, 8 March 2011 Specifying functions in Extended ML The Extended ML (EML) specification language is ML with minimal extensions for specifying Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:37:30 Quantification Predicate logic Z notation Prenex normal form Universal quantification Type theory Axiom Extended ML S Mathematical logic Logic Mathematics
218	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
219	Tool Interface Standard (TIS) Executable and Linking Format (ELF) Specification Version 1.2 TIS Committee Add to Reading List Source URL: refspecs.linux-foundation.org Language: English - Date: 2013-05-29 14:41:04 Programming language implementation Computer file formats Executable and Linkable Format Portable Executable Relocation Object file File Unix Executable Computing Software System software
220	Functional Programming and Specification Lecture Note 4, 15 March 2011 Specifying structures in Extended ML Axioms can be used to specify structures too. A structure will typically contain several Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:39 Data types Z notation ALGOL 68 Hindley–Milner Array data type List Constructible universe S Comparison of programming languages Software engineering Computing Programming language theory

UPDATE